Homotopy theory

Results: 956



#Item
11

A cubical model of homotopy type theory∗ Steve Awodey Stockholm, 21 June 2016 The main goal of these notes is to prove the following: Theorem. There is an algebraic weak factorization system (L, R) on the category of c

Add to Reading List

Source URL: www.andrew.cmu.edu

- Date: 2018-02-12 22:13:01
    12

    MODEL STRUCTURE ON THE UNIVERSE IN A TWO LEVEL TYPE THEORY SIMON BOULIER, NICOLAS TABAREAU A BSTRACT. Last year we presented how to formalize a model structure on the universe of fibrant types in Homotopy Type System, an

    Add to Reading List

    Source URL: hott-uf.github.io

    - Date: 2018-03-28 14:04:14
      13

      A COINDUCTIVE APPROACH TO TYPE VALUED EQUIVALENCE RELATIONS SIMON BOULIER, EGBERT RIJKE, AND NICOLAS TABAREAU A BSTRACT. We propose a coinductive definition of ∞-equivalence relations in Homotopy Type Theory, where the

      Add to Reading List

      Source URL: hott-uf.github.io

      - Date: 2018-03-28 14:04:14
        14

        UNFOLDING FOLDS MATTHEW WEAVER AND DIMITRIS TSEMENTZIS A well-known problem in Homotopy Type Theory is that of constructing objects that seemingly require infinitely many coherence conditions in their definition. One sol

        Add to Reading List

        Source URL: hott-uf.github.io

        - Date: 2018-03-28 14:04:14
          15

          List of known errata in the master thesis ‘Towards a Directed Homotopy Type Theory based on 4 Kinds of Variance’ Andreas Nuyts January 27, 2016 Most of these errata are (possibly confusing) typos. Please see errata c

          Add to Reading List

          Source URL: people.cs.kuleuven.be

          - Date: 2016-01-27 04:46:30
            16

            ELLIPTIC CURVES AND ALGEBRAIC TOPOLOGY MATTHEW ANDO Part 1. Elliptic curves and chromatic stable homotopy theory Elliptic curves enter algebraic topology through “Elliptic cohomology”–really a family of cohomology

            Add to Reading List

            Source URL: www.math.uiuc.edu

            - Date: 2003-08-27 15:44:38
              17

              Homotopy Type Theory in Lean Floris van Doorn Department of Philosophy Carnegie Mellon University leanprover.github.io

              Add to Reading List

              Source URL: www.math.ias.edu

              - Date: 2016-07-28 14:38:46
                18

                LECTURES ON EQUIVARIANT STABLE HOMOTOPY THEORY STEFAN SCHWEDE Contents 1. Orthogonal spectra 2. Equivariant orthogonal spectra

                Add to Reading List

                Source URL: www.math.uni-bonn.de

                - Date: 2016-06-26 09:50:01
                  19

                  Math. Z. 239, 803–Digital Object Identifier (DOIs002090100347 A uniqueness theorem for stable homotopy theory Stefan Schwede1 , Brooke Shipley2 1

                  Add to Reading List

                  Source URL: www.math.uni-bonn.de

                  - Date: 2003-11-07 09:15:55
                    20

                    585 Documenta Math. Profinite Homotopy Theory Gereon Quick

                    Add to Reading List

                    Source URL: documenta.sagemath.org

                    - Date: 2008-12-14 05:37:23
                      UPDATE